Nuprl Definition : mtag 11,40
mtag(m) == (m.2).1 
latex

Definitionst.2, t.1
FDL editor aliasesmtag

origin